Rehearsal: a configuration verification tool for puppet
نویسندگان
چکیده
منابع مشابه
μPuppet: A Declarative Subset of the Puppet Configuration Language
Puppet is a popular declarative framework for specifying and managing complex system configurations. The Puppet framework includes a domain-specific language with several advanced features inspired by object-oriented programming, including user-defined resource types, ‘classes’ with a form of inheritance, and dependency management. Like most real-world languages, the language has evolved in an ...
متن کاملFine-grained Access-control for the Puppet Configuration Language
System configuration tools automate the configuration and management of IT infrastructures. However these tools fail to provide decent authorisation on configuration input. In this paper we apply fine-grained authorisation of individual changes on a complex input language of an existing tool. We developed a prototype that extracts meaningful changes from the language used in the Puppet tool. Th...
متن کاملOn Static Verification of Puppet System Configurations
Puppet is a configuration management system used by hundreds of organizations to manage thousands of machines. It is designed to automate tasks such as application configuration, service orchestration, VM provisioning, and more. The heart of Puppet is a declarative domain-specific language that specifies a collection of resources (packages, user accounts, files, etc.), their desired state (e.g....
متن کاملmuPuppet: A Declarative Subset of the Puppet Configuration Language
Puppet is a popular declarative framework for specifying and managing complex system configurations. The Puppet framework includes a domain-specific language with several advanced features inspired by object-oriented programming, including user-defined resource types, ‘classes’ with a form of inheritance, and dependency management. Like most real-world languages, the language has evolved in an ...
متن کاملA Configuration Tool for Caching Dynamic Pages
The efficacy of a fragment-based caching system fundamentally depends on the fragments’ definition and the bringing into play of mechanisms that improve reuse and guarantee the consistency of the cache content (notably “purification” and invalidation mechanisms). Existing caching systems assume that the administrator provides the required configuration data manually, which is likely to be a hea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2980983.2908083